Traceback (most recent call last):
File "./prover.py", line 176, in prover_aprove
time = conv_timeline(err.readline())
File "./prover.py", line 81, in conv_timeline
line = line.strip().split("\t")[1]
IndexError: list index out of range
KILLED
java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225) java.lang.AssertionError at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformed(QDPInstantiationProcessor.java:45) at aprove.DPFramework.DPProblem.Processors.QDPInstantiationProcessor.getTransformedRules(QDPInstantiationProcessor.java:31) at aprove.DPFramework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:46) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:209) at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:225)